symmetric monoidal (∞,1)-category of spectra
transfinite arithmetic, cardinal arithmetic, ordinal arithmetic
prime field, p-adic integer, p-adic rational number, p-adic complex number
arithmetic geometry, function field analogy
A global field is either
or a function field over a finite field;
hence is a finite-dimensional field extension of either
the rational numbers ;
the rational functions with coefficients in the finite field .
The function field analogy says how both these kinds of global fields are indeed analogous in that they behave as rings of rational functions on “arithmetic curves over the would-be field with one element ” and , respectively. In particular for both types there is a concept of ring of adeles, group of ideles, etc.
The Langlands conjectures concern the arithmetic geometry of global fields.
The “local” version of a global field in the sense of formal geometry is a local field. The corresponding version of the Langlands program are the local Langlands correspondences.
Global fields can also be described axiomatically, as those fields which satisfy a suitable product formula. For example, if is a number field and is its group of ideles, then there is an idele norm map
and is retrieved as the kernel of this map, i.e., is the subgroup of elements for which the product formula holds.
For the following theorem, assume that is a field for which there is at least one valuation that is either archimedean, or is discrete and with finite residue class field for the corresponding local ring. By a place we understand an equivalence class of valuations.
(Artin-Whaples) Suppose is a field that has a set of valuations , one for every place of , such that for every the product formula is satisfied. Then is a global field (and conversely, every global field has this property).
Wikipedia, Global field
Emil Artin and George Whaples, Axiomatic characterization of fields by the product formula for valuations, Bull. Amer. Math. Soc. 51 (1945), 469-492. (link to article)
Last revised on December 8, 2017 at 19:44:51. See the history of this page for a list of all contributions to it.